This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
اقرأ المزيدThis book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
اقرأ المزيد